#define _CRT_SECURE_NO_WARNINGS 1
//#include <stdio.h>
//
//typedef union
//{
//	int a;
//	struct
//	{
//		short b;
//		short c;
//	};
//}X;
//
//int main()
//{
//	X x;
//	x.a = 0x20150810;
//	printf("%x,%x\n", x.b, x.c);
//
//	return 0;
//}

#include <stdio.h>
#include <math.h>

int main()
{
    long n, k = 0;
    long count = 0;
    while (~scanf("%ld %ld", &n, &k))
    {
        if (k == 0)
        {
            printf("%ld\n", n * n);
            continue;
        }
        for (long j = k + 1; j <= n; j++)
        {
            long help = n % j < k ? 0 : (n % j) - k + 1;
            count += (j - k) * (n / j) + help;
        }
        printf("%ld\n", count);
    }
    return 0;
}

#include <stdio.h>

int main()
{

    char ch[1001] = { 0 };
    int k = 0;
    scanf("%s", ch);
    scanf("%d", &k);

    ch[k] = '\0';
    printf("%s", ch);
    return 0;
}